#include<bits/stdc++.h>
using namespace std;
int main()
{
	unsigned long long x;
	scanf("%lld", &x); // WA 读取ull 要用lld
	x /= 1000;//变成秒
	x %= 24 * 60 * 60; //变成一天内的时间
	//cout << x <<"s"<<endl; WA 忘记把测试注释
	printf("%02d:%02d:%02d\n", x / 3600, x % 3600 / 60, x % 60);
	// stl cout (setfill) (setw)
	//std::cout << std::setfill('0') << std::setw(2) << hours << ":"<< std::setfill('0') << std::setw(2) << minutes << ":"<< std::setfill('0') << std::setw(2) << seconds << std::endl;
	return 0;
}
